翻訳と辞書 Words near each other ・ Lean manufacturing ・ Lean Mean Thirteen ・ Lean On ・ Lean on Him ・ Lean on Me ・ Lean on Me (album) ・ Lean on Me (film) ・ Lean on Me (song) ・ Lean product development ・ Lean project management ・ Lean services ・ Lean Six Sigma ・ Lean software development ・ Lean startup ・ Lean Tales ・ Lean theorem prover ・ Lean thinking ・ Lean wit It, Rock wit It ・ Lean's Engine Reporter ・ Lean-burn ・ Lean-to ・ Leana de Bruin ・ Leana Wen ・ Leaname Maotoanong ・ Leanan sídhe ・ Leanchoil Hospital ・ Leanchoilia ・ LeanCMMI ・ Leancă Cabinet ・ Leanda Cave Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Lean theorem prover ： ウィキペディア英語版 Lean theorem prover A lean theorem prover is an automated theorem prover implemented in a minimum amount of code. Lean provers are generally implemented in Prolog, and make proficient use of the backtracking engine and logic variables of that language. Lean provers can be as small as a few hundred bytes of source code. ==Lean theorem provers== * (leanCoP ), a prover for classical first-order logic in 333 bytes * (leanTAP ) 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Lean theorem prover」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.